<html>
<body>
使用大写类型注解。
</body>
</html>